TEXT_BASE = 0x40200000
